“Translating” between survey answer formats
نویسندگان
چکیده
منابع مشابه
Translating First-Order Causal Theories into Answer Set Programming
Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional causal theories into logic programming, and this work paved the way to the use of answer set solvers for answering queries about actions described in causal logic. In this paper we generalize these embeddings to first-order causal ...
متن کاملTranslating Preferred Answer Set Programs to Propositional Logic
We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and practical interests: on one hand, it will shed new insights to understand the expressive power of preferred answer set programs; on the other hand, it may also lead to efficient implementations for computing preferred answer sets of...
متن کاملTranslating Answer-Set Programs into Bit-Vector Logic
Answer set programming (ASP) is a paradigm for declarative problem solving where problems are first formalized as rule sets, i.e., answer-set programs, in a uniform way and then solved by computing answer sets for programs. The satisfiability modulo theories (SMT) framework follows a similar modelling philosophy but the syntax is based on extensions of propositional logic rather than rules. Qui...
متن کاملTranslating Between PEGs and CFGs
We transform a CFG into a PEG in two steps. First, we transform the CFG into an Abstract PEG (A-PEG). Conceptually, an A-PEG is a PEG that operates over programs stores rather than individual variables, and whose nodes represent the basic blocks of the CFG. Figure 1(b) shows a sample A-PEG, derived from the CFG in Figure 1(a). The A-PEG captures the structure of the original CFG using θ, pass a...
متن کاملImproving Answer Ranking Using Cohesion between Answer and Keywords
At the NTCIR5 CLQA task, we participated in the Chinese-Chinese (CC) and English-Chinese (EC) QA subtasks. Due to some programming errors in our EC QA system, we will focus on the evaluation of our CC QA system in this paper. We propose a new method to improve answer ranking using the cohesion between answer and keywords. Our experimental results show the effectiveness of this new method. Besid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Business Research
سال: 2013
ISSN: 0148-2963
DOI: 10.1016/j.jbusres.2012.02.029